#Tue Jun 02 23:55:02 ART 2015
eclipse.preferences.version=1
org.eclipse.team.ui.first_time=false
